Transaction Synchronizers
نویسندگان
چکیده
Transactional memory ensures the atomicity and isolation of transactions. Although these properties greatly simplify reasoning about concurrent programs, they prevent concurrent transactions from interacting with each other. In this paper, we propose a synchronizer mechanism for augmenting software transactional memory implementations to allow different transactions to communicate with each other by accessing shared data. A synchronizer encapsulates shared data, which can be accessed only by those threads that synchronize at the synchronizer. All threads synchronized at a synchronizer can see the effects on that data by any concurrent threads (which must also be synchronized on that synchronizer). Such interaction necessarily compromises isolation. We limit the extent of this compromise by forcing all the threads synchronized on a synchronizer to commit or abort together. We describe how to implement synchronizers in the context of Dynamic Software Transactional Memory of Herlihy, Luchangco, Moir and Scherer.
منابع مشابه
1 Zero latency synchronizers using four and two phase protocols
Synchronizers typically incur long latency of multiple clock cycles, resulting in low throughput. This work presents a number of novel fast synchronizers, based on four and two-phase protocols: a four and two-phase two-flop synchronizer which reduces the data cycle from 6-12 down to 2-4 clock cycles, and a fourand two-phase LDL synchronizer which strives for maximum throughput and "zerolatency,...
متن کاملEffects of the Noise Spikes on the Digital Symbol Synchronizers
1 This work study the effects of the noise spikes on the digital symbol synchronizers. In these synchronizers, we distinguish two types namely the combinational digital symbol synchronizers and the sequential digital symbol synchronizers. The combinational type has a phase detector without intern memory whereas the sequential type has a phase detector with intern memory. The objective is to stu...
متن کاملMetastable States in Asynchronous Digital Systems: Avoidable or Unavoidable?1
The synchronization of asynchronous signals can lead to metastable behavior and malfunction of digital circuits. It is believed but not proved that metastability principally cannot be avoided. Confusion exists about its practical importance. This paper shows that metastable behavior can be avoided by usage of quantum synchronizers in principle, but not in practice, and that conventional synchro...
متن کاملData-aided Symbol Time and Carrier Phase Tracking for Pre-coded Cpm Signals
A data-aided approach to symbol time and carrier phase synchronization applicable to general continuous phase modulation (CPM) signals with modulation index 0.5 is described. Simulated BER performance of two receivers equipped with these synchronizers is presented for a GMSK BT=1/5 signal received in noise with constant and dynamic synchronization errors. Results demonstrate that these synchron...
متن کاملFormal Verification of Synchronizers in GALS SoC
GALS SoCs require synchronization of control and data transfers between different clock domains. Typical synchronization methods and circuits are error-prone [1]. Neither circuit nor logic simulations can assure the correctness of synchronizers, as they are not designed to handle multiple clocks operating at arbitrary relative frequency and phase. It seems that only correctness-by-construction ...
متن کامل